$\forall$$p$, $q$:($n$:$\mathbb{Z}\times$base{-}domain{-}type($n$)). $p$ = $q$ $\Leftrightarrow$ $p$ $=$ $q$